page 43, table 3.5

Add an entry for \notin ($\notin$). [First reported by Rosemary Bailey on 29 Aug 94.]